0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Automated Reasoning – alle Bücher

    Ihre Suche nach "Automated Reasoning" (Bücher) ergab 3 Treffer.

    Ansicht:

    Automated Reasoning with Analytic Tableaux and Related Methods

    This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during S…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 43,80

    Intelligent Computer Mathematics

    .- Automated Reasoning..- Hammering Higher Order Set Theory..- Synthesis Benchmarks for Automated Reasoning..- Automated Symmetric Constructions in Discrete Geometry..- Formal Libraries..- Growing Mathlib…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 142,37

    Application and Theory of Petri Nets and Concurrency

    .- Automated Reasoning for Data-Aware Petri Nets..- Petri Nets and Higher-Dimensional Automata..- Discovering the Influence of Exogenous Data on Decisions in Processes..- Synthesizing Petri Nets from Labe…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.